Buy Used and New David Basin Books

Applied Information Security: A Hands-on Approach

by David Basin, Patrick Schaller, Michael Schläpfer

ISBN 13: 9783642244735

Format: Hardcover (202 pages)
Publisher: Springer
Published: 28 Oct 2011

Save for later

Rippling: Meta-Level Guidance for Mathematical Reasoning (Cambridge Tracts in Theoretical Computer Science)

by Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland

ISBN 13: 9780521834490

Format: Hardcover (216 pages)
Publisher: Cambridge University Press
Published: 30 Jun 2005

Save for later

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings: 3097 (Lecture Notes in Computer Science)

by Michael Rusinowitch,David Basin

ISBN 13: 9783540223450

Format: Paperback (512 pages)
Publisher: Springer
Published: 22 Jun 2004

Save for later

Labelled Deduction: 17 (Applied Logic Series)

by David Basin,M. D'Agostino,Dov M. Gabbay,Seán Matthews,Luca Viganò

ISBN 13: 9780792362371

Format: Illustrated (284 pages)
Publisher: Springer
Published: 30 Apr 2000

Save for later

Principles of Security and Trust: Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of ... 7796 (Lecture Notes in Computer Science)

by David Basin,John C. Mitchell

ISBN 13: 9783642368295

Format: Paperback (308 pages)
Publisher: Springer
Published: 20 Feb 2013

Save for later